Deterministic discrete-event representations of linear continuous-variable systems
نویسندگان
چکیده
The paper concerns linear continuous-variable systems whose state can be measured only through a quantiser. As for an observer the system together with the quantiser behaves like a discrete-event system, the problem of representing this system by some deterministic finite state machine is considered. The main difficulty of this representation problem occurs due to the nondeterminism introduced by the state quantisation. It is investigated under what conditions on the linear continuous-variable system and on the state quantisation the discrete-event behaviour is deterministic. The main results are sufficient conditions for this property. ( 1999 Elsevier Science Ltd. All rights reserved.
منابع مشابه
Performance Evaluation of (max,+) Automata
Automata with multiplicities over the (max,+) semiring can be used to represent the behavior of timed discrete event systems. This formalism which extends both conventional automata and (max,+) linear representations covers a class of systems with synchronization phenomena and variable schedules. Performance evaluation is considered in the worst, mean, and optimal cases. A simple algebraic redu...
متن کاملPERFORMANCE OF DIFFERENT ANT-BASED ALGORITHMS FOR OPTIMIZATION OF MIXED VARIABLE DOMAIN IN CIVIL ENGINEERING DESIGNS
Ant colony optimization algorithms (ACOs) have been basically introduced to discrete variable problems and applied to different research domains in several engineering fields. Meanwhile, abundant studies have been already involved to adapt different ant models to continuous search spaces. Assessments indicate competitive performance of ACOs on discrete or continuous domains. Therefore, as poten...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملRobust Invariant Control Synthesis for Discrete-Time Polytopic Uncertain Linear Hybrid Systems
In this paper, a class of discrete-time uncertain linear hybrid systems, which is affected by both parameter variations and exterior disturbances, is considered. The goal here is to synthesize a hybrid control law, which includes the continuous variable control law and the discrete event control signal, so as to guarantee the controlled invariance for a specific region in the hybrid state space...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Automatica
دوره 35 شماره
صفحات -
تاریخ انتشار 1999